"Stefan Berghofer" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Автор: Stefan Berghofer, Автор: Tobias Nipkow, Автор: Christian Urban, Автор: Makarius Wenzel

Категория: Компьютеры

Размер книги: 5.45 Mb

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Автор: Stefan Berghofer, Автор: Tobias Nipkow, Автор: Christian Urban

Размер книги: 4.74 Mb

Modeling and Retrieval of Context: Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers

Автор: Thomas R. Roth-Berghofer, Автор: Stefan Schulz, Автор: David B. Leake

Размер книги: 2.83 Mb